Uniqueness in Harper’s vertex-isoperimetric theorem

For a set $A\subseteq Q_n={\left\{0,1\right\}}^n$ the $t$-neighbourhood of $A$ is $N^t\left(A\right)=\left\{x:d\left(x,A\right)\le t\right\}$, where $d$ denotes the usual graph distance on $Q_n$. Harper’s vertex-isoperimetric theorem states that among the subsets $A\subseteq Q_n$ of given size, the size of the $t$-neighbourhood is minimised when $A$ is taken to be an initial segment of the simplicial order. Aubrun and Szarek asked the following question: if $A\subseteq Q_n$ is a subset of given size for which the sizes of both $N^t\left(A\right)$ and $N^t\left(A^c\right)$ are minimal for all $t>0$, does it follow that $A$ is isomorphic to an initial segment of the simplicial order?Our aim is to give a counterexample. Surprisingly it turns out that there is no counterexample that is a Hamming ball, meaning a set that lies between two consecutive exact Hamming balls, i.e. a set $A$ with $B\left(x,r\right)\subseteq A\subseteq B\left(x,r+1\right)$ for some $x\in Q_n$. We go further to classify all the sets $A\subseteq Q_n$ for which the sizes of both $N^t\left(A\right)$ and $N^t\left(A^c\right)$ are minimal for all $t>0$ among the subsets of $Q_n$ of given size. We also prove that, perhaps surprisingly, if $A\subseteq Q_n$ for which the sizes of $N\left(A\right)$ and $N\left(A^c\right)$ are minimal among the subsets of $Q_n$ of given size, then the sizes of both $N^t\left(A\right)$ and $N^t\left(A^c\right)$ are also minimal for all $t>0$ among the subsets of $Q_n$ of given size. Hence the same classification also holds when we only require $N\left(A\right)$ and $N\left(A^c\right)$ to have minimal size among the subsets $A\subseteq Q_n$ of given size.     

Evolution of Classical and Quantum States in the Groupoid Picture of Quantum Mechanics

The evolution of states of the composition of classical and quantum systems in the groupoid formalism for physical theories introduced recently is discussed. It is shown that the notion of a classical system, in the sense of Birkhoff and von Neumann, is equivalent, in the case of systems with a countable number of outputs, to a totally disconnected groupoid with Abelian von Neumann algebra. The impossibility of evolving a separable state of a composite system made up of a classical and a quantum one into an entangled state by means of a unitary evolution is proven in accordance with Raggio’s theorem, which is extended to include a new family of separable states corresponding to the composition of a system with a totally disconnected space of outcomes and a quantum one.     

Existence of multiple and sign-changing solutions for a second-order nonlinear functional difference equation with periodic coefficients

In the present paper, we apply the method of invariant sets of descending flow to establish a series of criteria to ensure that a second-order nonlinear functional difference equation with periodic boundary conditions possesses at least one trivial solution and three nontrivial solutions. These nontrivial solutions consist of sign-changing solutions, positive solutions and negative solutions. Moreover, as an application of our theoretical results, an example is elaborated. Our results generalize and improve some existing ones.     

Nonnegative solutions to reaction–diffusion system with cross-diffusion and nonstandard growth conditions

We establish the existence of nonnegative weak solutions to nonlinear reaction–diffusion system with cross-diffusion and nonstandard growth conditions subject to the homogeneous Neumann boundary conditions. We assume that the diffusion operators satisfy certain monotonicity condition and nonstandard growth conditions and prove that the existence of weak solutions using Galerkin's approximation technique.     

安培环路定理的拓扑学描述

近年来拓扑学在量子力学中得到了广泛的运用.本文将安培环路定理积分式重新表达为一矢量场在轮胎参数面上的第一类陈数积分.数值模拟展示了该积分值为一整数即第一陈数,其代表矢量场的整体性质:当经历连续变换时,矢量场的局部数值发生改变但整体积分值即陈数仍保持不变;若陈数发生改变,则表明矢量场变换的连续性条件发生破坏,矢量场出现奇点.进一步通过高斯映射将该矢量场从参数轮胎面映射到单位球面上,并给出了第一陈数的直观几何意义.理论和数值结果揭示了安培环路定理的拓扑学本质,表明拓扑概念在经典物理学中也会有广泛应用.     

Can Anti-Aufbau DFT Calculations Estimate Singlet Excited State Aromaticity? Correspondence on “Dibenzoarsepins: Planarization of 8π-Electron System in the Lowest Singlet Excited State”

The simple anti-aufbau DFT approach for estimating singlet excited state aromaticity suggested in a recent Communication published in this journal is shown to produce incorrect results because it targets a linear combination of the singlet and triplet configurations involving the HOMO and LUMO rather than the first singlet excited state. If the S₁ state of a molecule is dominated by the HOMO→LUMO excitation, a comparably simple but theoretically consistent and qualitatively correct approximation to the S₁ wavefunction can be achieved by performing a small “two electrons in two orbitals” CASSCF(2,2) calculation which can be followed by the evaluation of magnetic aromaticity criteria such as NICS.     

Existence and Uniqueness of Solution for a Class of Nonlinear Degenerate Elliptic Equations

In this work we are interested in the existence and uniqueness of solutions for the Navier problem associated to the degenerate nonlinear elliptic equations■,in the setting of the weighted Sobolev spaces.     

Sliding mode control for a diffuse interface tumor growth model coupling a Cahn–Hilliard equation with a reaction–diffusion equation

We consider the sliding mode control (SMC) problem for a diffuse interface tumor growth model coupling a Cahn–Hilliard equation with a reaction–diffusion equation perturbed by a maximal monotone nonlinearity. We prove existence and regularity of strong solutions and, under further assumptions, a uniqueness result. Then, we show that the chosen SMC law forces the system to reach within finite time a sliding manifold that we chose in order that the tumor phase remains constant in time.